Where in the human body is the enzyme pepsin produced?